Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Identifieur interne : 000509 ( Main/Exploration ); précédent : 000508; suivant : 000510Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Auteurs : Adam Meissner [Pologne]Source :
- International Journal of Applied Mathematics and Computer Science [ 1641-876X ] ; 2011-03-01.
English descriptors
Abstract
A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.
Url:
DOI: 10.2478/v10006-011-0006-1
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000764
- to stream Istex, to step Curation: 000608
- to stream Istex, to step Checkpoint: 000135
- to stream Main, to step Merge: 000511
- to stream Main, to step Curation: 000509
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic</title><author wicri:is="90%"><name sortKey="Meissner, Adam" sort="Meissner, Adam" uniqKey="Meissner A" first="Adam" last="Meissner">Adam Meissner</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:DF3B79652854490A60FBACDF3A5C1BF52E749C0C</idno><date when="2011-03-28" year="2011">2011-03-28</date><idno type="doi">10.2478/v10006-011-0006-1</idno><idno type="url">https://api.istex.fr/document/DF3B79652854490A60FBACDF3A5C1BF52E749C0C/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000764</idno><idno type="wicri:Area/Istex/Curation">000608</idno><idno type="wicri:Area/Istex/Checkpoint">000135</idno><idno type="wicri:doubleKey">1641-876X:2011:Meissner A:experimental:analysis:of</idno><idno type="wicri:Area/Main/Merge">000511</idno><idno type="wicri:Area/Main/Curation">000509</idno><idno type="wicri:Area/Main/Exploration">000509</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic</title><author wicri:is="90%"><name sortKey="Meissner, Adam" sort="Meissner, Adam" uniqKey="Meissner A" first="Adam" last="Meissner">Adam Meissner</name><affiliation wicri:level="1"><country xml:lang="fr">Pologne</country><wicri:regionArea>Institute of Control and Information Engineering, Poznań University of Technology, pl. M. Skłodowskiej-Curie 5, 60-965 Poznań</wicri:regionArea><wicri:noRegion>60-965 Poznań</wicri:noRegion></affiliation></author></analytic><monogr></monogr><series><title level="j">International Journal of Applied Mathematics and Computer Science</title><idno type="ISSN">1641-876X</idno><imprint><publisher>Versita</publisher><date type="published" when="2011-03-01">2011-03-01</date><biblScope unit="volume">21</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="83">83</biblScope><biblScope unit="page" to="95">95</biblScope></imprint><idno type="ISSN">1641-876X</idno></series><idno type="istex">DF3B79652854490A60FBACDF3A5C1BF52E749C0C</idno><idno type="DOI">10.2478/v10006-011-0006-1</idno><idno type="ArticleID">v10006-011-0006-1</idno><idno type="Related-article-Href">v10006-011-0006-1.pdf</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">1641-876X</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>ALC description logic</term><term>Oz language</term><term>lean deduction</term><term>parallel reasoning</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.</div></front></TEI><affiliations><list><country><li>Pologne</li></country></list><tree><country name="Pologne"><noRegion><name sortKey="Meissner, Adam" sort="Meissner, Adam" uniqKey="Meissner A" first="Adam" last="Meissner">Adam Meissner</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000509 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000509 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= MozartV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:DF3B79652854490A60FBACDF3A5C1BF52E749C0C
|texte= Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
}}
| This area was generated with Dilib version V0.6.20. |  |